Evaluating Automatic Program Repair Capabilities to Repair API Misuses

نویسندگان

چکیده

API misuses are well-known causes of software crashes and security vulnerabilities. However, their detection repair is challenging given that the correct usages (third-party) api s might be obscure to developers client programs. This paper presents first empirical study assess ability existing automated bug tools misuses, which a class bugs previously unexplored. Our examines compares 14 Java test-suite-based (11 proposed before 2018, three afterwards) on manually curated benchmark ( xmlns:xlink="http://www.w3.org/1999/xlink">APIRepBench ) consisting 101 misuses. We develop an extensible execution framework xmlns:xlink="http://www.w3.org/1999/xlink">APIARTy automatically execute multiple tools. results show able generate patches for 28 percent considered. While 11 less recent generally fast (the median time attempts 3.87 minutes mean 30.79 minutes), most efficient (i.e., 98 slower) than predecessors. The mostly belong categories missing null check, value, exception, call. Most generated by all plausible (65 percent), but only few these semantically human (25 percent). findings suggest design future should support localisation complex bugs, including different handling timeout issues, configure large projects. Both have been made publicly available other researchers evaluate capabilities detecting fixing

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Cost-Aware Automatic Program Repair

We present a formal framework for repairing infinite-state, imperative, sequential programs, with (possibly recursive) procedures and multiple assertions; the framework can generate repaired programs by modifying the original erroneous program in multiple program locations, and can ensure the readability of the repaired program using user-defined expression templates; the framework also generat...

متن کامل

Mutational Robustness and Automatic Program Repair

Mutational robustness describes how likely a variant’s phenotype is to remain constant in response to mutations applied within its genotype. This measure has not been evaluated generally across software, nor more specifically in the context of a genetic programming (GP) approach to automated program repair. We provide an analysis of this metric across eight benchmark programs, representing each...

متن کامل

Automatic Program Repair Using Genetic Programming

Software quality is an urgent problem. There are so many bugs in industrial program source code that mature software projects are known to ship with both known and unknown bugs [1], and the number of outstanding defects typically exceeds the resources available to address them [2]. This has become a pressing economic problem whose costs in the United States can be measured in the billions of do...

متن کامل

Automatic Program Repair by Fixing Contracts

While most debugging techniques focus on patching implementations, there are bugs whose most appropriate corrections consist in fixing the specification to prevent invalid executions—such as to define the correct input domain of a function. In this paper, we present a fully automatic technique that fixes bugs by proposing changes to contracts (simple executable specification elements such as pr...

متن کامل

Automatic Program Repair with Condition Synthesis and Compound Mutations

We present PCR, a new automatic patch generation system. PCR uses a new condition synthesis technique to efficiently discover logical expressions that generate desired controlflow transfer patterns. Presented with a set of test cases, PCR deploys condition synthesis to find and repair incorrect if conditions that cause the application to produce the wrong result for one or more of the test case...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Transactions on Software Engineering

سال: 2022

ISSN: ['0098-5589', '1939-3520', '2326-3881']

DOI: https://doi.org/10.1109/tse.2021.3067156